Kütz, M. IT-Steuerung mit Kennzahlensystemen

IT-Steuerung mit Kennzahlensystemen

Modellierung von Kennzahlensystemen mit BPMN

Mit dem Ziel einen möglichen Ansatz zur Verbindung von Kennzahlensystemen mit Prozesssystemen zu finden, diskutiert der vorliegende Beitrag Fragestellungen hinsichtlich der Modellierung von Kennzahlensystemen innerhalb einer Prozessstruktur unter Berücksichtigung der Eigenschaften eindimensionaler und mehrdimensionaler Kennzahlensysteme. Die ausgewählte Modellierungssprache für die Untersuchung...

Dezentrale Steuerung verteilter Anwendungen mit rationalen Agenten

Herkömmliche Methoden für die Steuerung und Koordination verteilter Anwendungen mit weitgehend autonomen Diensten und Prozessen in heterogenen, sich dynamisch ändernden Umgebungen beruhen oft auf zentralen Steuerungskomponenten und statischen Zustandsund Prozessbeschreibungen. Sie berücksichtigen damit sowohl die Autonomie der Teilprozesse als auch die Dynamik des Anwendungskontextes noch zu we...

Reinforcement Learning mit adaptiver Steuerung von Exploration und Exploitation

Englisch) Using computational models of reinforcement learning (RL), intelligent behavior based on sensorimotor interactions can be learned (Sutton and Barto, 1998). The way of learning is inspired from neurobiology and psychology, where an artificial agent performs actions within its environment that responds with a reward signal describing the action’s utility. Therefore, the natural objectiv...

Formale Entwicklung einer Steuerung für eine Fertigungszelle mit SYSYFOS

Using the synthesis approach of Manna and Waldinger, a formally specified and verified control circuitery for a production cell was developped. Building an appropriate formal language level, we could achieve a requirements specification to the informal description. We demonstrated that the paradigm of deductive synthesis can be applied to the development of complete verified systems, including ...